naval operator - Spanisch Englisch Wörterbuch